U.S. flag

An official website of the United States government

Display Settings:

Format
Items per page
Sort by

Send to:

Choose Destination
You searched 8+ million full text articles

Try this search in 34+ million citations and abstracts

PMC Full-Text Search Results

Items: 19

1.
Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games
Kittiphon Phalakarn, Toru Takisaka, Thomas Haas, Ichiro Hasuo
Computer Aided Verification. 2020 Jun 16; 12225: 349–371. Published online 2020 Jun 16. doi: 10.1007/978-3-030-53291-8_19
PMCID:
PMC7363239
AbstractArticlePDF–629K
2.
Automatic differentiation of uncertainties: an interval computational differentiation for first and higher derivatives with implementation
Hend Dawood, Nefertiti Megahed
PeerJ Comput Sci. 2023; 9: e1301. Published online 2023 Mar 29. doi: 10.7717/peerj-cs.1301
PMCID:
PMC10280627
AbstractArticlePDF–466K
3.
Modern perspectives in Proof Theory
J. P. Aguilera, F. Pakhomov, A. Weiermann
Philos Trans A Math Phys Eng Sci. May 29, 2023; 381(2248): 20220020. Published online April 10, 2023. doi: 10.1098/rsta.2022.0020
PMCID:
PMC10083099
ArticlePDF–382K
4.
SCIENCE AND BROAD POINTS OF VIEW
P. W. Bridgman
Proc Natl Acad Sci U S A. 1956 Jun; 42(6): 315–325. doi: 10.1073/pnas.42.6.315
PMCID:
PMC528282
SummaryPage BrowsePDF–1.5M
5.
Principled Limitations on Self-Representation for Generic Physical Systems
Chris Fields, James F. Glazebrook, Michael Levin
Entropy (Basel) 2024 Mar; 26(3): 194. Published online 2024 Feb 24. doi: 10.3390/e26030194
PMCID:
PMC10969210
AbstractArticlePDF–609K
6.
Ramsey theory and thermodynamics
Nir Shvalb, Mark Frenkel, Shraga Shoval, Edward Bormashenko
Heliyon. 2023 Feb; 9(2): e13561. Published online 2023 Feb 10. doi: 10.1016/j.heliyon.2023.e13561
PMCID:
PMC9950827
AbstractArticlePDF–530K
7.
TWO RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POST'S PROBLEM, 1944)
Richard M. Friedberg
Proc Natl Acad Sci U S A. 1957 Feb 15; 43(2): 236–238. doi: 10.1073/pnas.43.2.236
PMCID:
PMC528418
SummaryPage BrowsePDF–327K
8.
A Verified Implementation of the Berlekamp–Zassenhaus Factorization Algorithm
Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
J Autom Reason. 2020; 64(4): 699–735. Published online 2019 Jun 17. doi: 10.1007/s10817-019-09526-y
PMCID:
PMC7115093
AbstractArticlePDF–609K
9.
Intermittent chaos, self-organization, and learning from synchronous synaptic activity in model neuron networks.
F C Hoppensteadt
Proc Natl Acad Sci U S A. 1989 May; 86(9): 2991–2995. doi: 10.1073/pnas.86.9.2991
PMCID:
PMC287049
SummaryPage BrowsePDF–773K
10.
Perceptual match effects in direct tests of memory: The role of contextual fan
LYNNE M. REDER, DIMITRIOS K. DONAVOS, MICHAEL A. ERICKSON
Mem Cognit. Author manuscript; available in PMC 2008 May 27.
Published in final edited form as: Mem Cognit. 2002 Mar; 30(2): 312–323. doi: 10.3758/bf03195292
PMCID:
PMC2396443
AbstractArticlePDF–1.0M
11.
Toward the Relational Formulation of Biological Thermodynamics
Abir U. Igamberdiev
Entropy (Basel) 2024 Jan; 26(1): 43. Published online 2023 Dec 31. doi: 10.3390/e26010043
PMCID:
PMC10814957
AbstractArticlePDF–305K
12.
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA
Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
Rigorous State-Based Methods. 2020 Apr 22; 12071: 302–317. Published online 2020 Apr 22. doi: 10.1007/978-3-030-48077-6_25
PMCID:
PMC7242031
AbstractArticlePDF–1.8M
13.
Functional Cognitive Disorders (FCD): How Is Metacognition Involved?
Andrew J. Larner
Brain Sci. 2021 Aug; 11(8): 1082. Published online 2021 Aug 18. doi: 10.3390/brainsci11081082
PMCID:
PMC8393342
AbstractArticlePDF–608K
14.
Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL
René Thiemann, Ralph Bottesch, Jose Divasón, Max W. Haslbeck, Sebastiaan J. C. Joosten, Akihisa Yamada
J Autom Reason. 2020; 64(5): 827–856. Published online 2020 Jun 9. doi: 10.1007/s10817-020-09552-1
PMCID:
PMC7413592
AbstractArticlePDF–534K
15.
A novel feature ranking method for prediction of cancer stages using proteomics data
Ehsan Saghapour, Saeed Kermani, Mohammadreza Sehhati
PLoS One. 2017; 12(9): e0184203. Published online 2017 Sep 21. doi: 10.1371/journal.pone.0184203
PMCID:
PMC5608217
AbstractArticlePDF–2.3M
16.
A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY
Raymond M. Smullyan
Proc Natl Acad Sci U S A. 1963 Jun; 49(6): 828–832. doi: 10.1073/pnas.49.6.828
PMCID:
PMC300016
SummaryPage BrowsePDF–631K
17.
History of evidence synthesis to assess treatment effects: Personal reflections on something that is very much alive
Mike Clarke
J R Soc Med. 2016 Apr; 109(4): 154–163. Published online 2016 Apr 8. doi: 10.1177/0141076816640243
PMCID:
PMC4827109
ArticlePDF–400K
18.
Frustration in Biomolecules
Diego U. Ferreiro, Elizabeth A. Komives, Peter G. Wolynes
Q Rev Biophys. Author manuscript; available in PMC 2015 Feb 1.
Published in final edited form as: Q Rev Biophys. 2014 Nov; 47(4): 285–363. Published online 2014 Sep 16. doi: 10.1017/S0033583514000092
PMCID:
PMC4256721
AbstractArticlePDF–5.3M
19.
Training Signaling Pathway Maps to Biochemical Data with Constrained Fuzzy Logic: Quantitative Analysis of Liver Cell Responses to Inflammatory Stimuli
Melody K. Morris, Julio Saez-Rodriguez, David C. Clarke, Peter K. Sorger, Douglas A. Lauffenburger
PLoS Comput Biol. 2011 Mar; 7(3): e1001099. Published online 2011 Mar 3. doi: 10.1371/journal.pcbi.1001099
PMCID:
PMC3048376
AbstractArticlePDF–2.9M

Display Settings:

Format
Items per page
Sort by

Send to:

Choose Destination

Supplemental Content

Filter your results:

Find related data

Search details

See more...

Recent activity

Clear Turn Off Turn On

Your browsing activity is empty.

Activity recording is turned off.

Turn recording back on

See more...
You are here: NCBI > Literature > PubMed Central (PMC)
Support Center